🧩 SAT Solvers

DPLL Algorithm, Conflict Analysis, Boolean Satisfiability, Formal Verification

Logic Engines: Building Smarter AI with State-Based Truth Tables by Arvind Sundararajan
dev.to·1h·
Discuss: DEV
🎯Finite Automata
A Dumb Introduction to z3. Exploring the world of constraint solvers with very simple examples.
asibahi.github.io·19h·
Discuss: Hacker News, r/programming, r/rust
🧩Constraint Solvers
Sound Statistical Model Checking for Probabilities and Expected Rewards (extended version)
arxiv.org·13h
⏭️Skip Lists
Planarizing matchings
11011110.github.io·22h
🎨Graph Coloring
Unlocking Boolean Clarity: Visualize Logic with State Algebra by Arvind Sundararajan
dev.to·8h·
Discuss: DEV
🧩Constraint Logic
From Theory to the Field: Why Side-Channel Protection Defines Post-Quantum Security
design-reuse.com·9h
🏰Capability Machines
Logic's Hidden States: Unlock Debugging Superpowers with Algebraic Thinking by Arvind Sundararajan
dev.to·4h·
Discuss: DEV
🧮Theorem Provers
A Kevin week
blog.mitrichev.ch·20h·
Discuss: blog.mitrichev.ch
🧩Constraint Solvers
Show HN: Semlib – Semantic Data Processing
github.com·3h·
Discuss: Hacker News
🔍ML Language
Semantic Dictionary Encoding
falvotech.com·2h·
Discuss: Hacker News
🗂️Type Indexing
A formal proof of C∞ISRT
bsky.app·1d·
Discuss: r/LessCredibleDefence
♾️Codata Types
Topological Sort: Managing Mutable Structures in Haskell
mmhaskell.com·8h
🪢Rope Data Structures
A comprehensive review of lithium-ion battery modelling research and prospects: in-depth analysis of current research and future directions
sciencedirect.com·15m
🧠Memory Models
Local LLaMA Users: The 0~1000 Stars Semantic Firewall, Now In Human Words
reddit.com·2d·
Discuss: r/LocalLLaMA
📡Erlang BEAM
Pre-viva Talk - 02/10/2025
informatics.ed.ac.uk·4h
🧠Semantic Parsing
Comparative Studies of Quantum Annealing, Digital Annealing, and Classical Solvers for Reaction Network Pathway Analysis and mRNA Codon Selection
arxiv.org·13h
🧩Constraint Solvers
[CS 2881r] Some Generalizations of Emergent Misalignment
lesswrong.com·1d
🔍ML Language
You can't test if quantum uses complex numbers
algassert.com·5h·
Discuss: Hacker News
⚡Control Synthesis
Optimized Modbus RTU Data Validation via Hybrid Markov & Bayesian Filtering
dev.to·7h·
Discuss: DEV
🗺️Region Inference
ECMAScript TC39 proposal-pattern-matching
github.com·3h·
Discuss: Hacker News
🎯Pattern Matching